Scheme Basics
courses.cs.washington.edu·20h·
Discuss: Hacker News, Hacker News
🧠Lisp Dialects
Lobsters Interview with Matklad
lobste.rs·19h·
Discuss: Lobsters
🦀Rust Macros
Active Learning for Neurosymbolic Program Synthesis
arxiv.org·1d
💻Programming languages
LLMs Won't Replace Programming Languages
mech-lang.org·1d·
Discuss: Hacker News
🗣️Domain-Specific Languages
Derek Elkins: Arithmetic Functions
hedonisticlearning.com·9h
⚔️Lean Theorem
HigherOrderCO/HVM3
github.com·7h
🔗Functional Compilers
The Baby Paradox in Haskell
blog.jle.im·1d·
Discuss: Lobsters, Hacker News
🔲Proof Irrelevance
Learning Through Doing: From one language to another
blog.scottlogic.com·1d
🦀Rust Borrowing
Icepath: a 2D Programming Language
healeycodes.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Get Back To WARP
binary.ninja·15h
🧪Binary Fuzzing
Optique: Type-safe combinatorial CLI parser for TypeScript
optique.dev·2d·
Discuss: Lobsters, Hacker News, r/javascript, r/node, r/typescript
💧Liquid Types
Rebuilding Babel: The Tokenizer (2022)
nan.fyi·21h·
Discuss: Hacker News
🔗Concatenative Programming
Codanna now supports Go! Instant call graphs, code-aware lookup, zero servers
reddit.com·8h·
Discuss: r/golang
🦀Rust Macros
Graphzep -TypeScript implementation of temporal knowledge graph memory system
github.com·11h·
Discuss: Hacker News
🕸️Neo4j
the core of rust
jyn.dev·2d·
Discuss: Lobsters, Hacker News, r/rust
🦀Rust Macros
Contrasting Data and Objects (2018)
tedinski.com·2d·
Discuss: Hacker News
💻Programming languages
A string formatting library in 65 lines of C++
riki.house·13h·
Discuss: Lobsters, Hacker News
✅Format Verification
A better for loop?
cirw.in·1d
🦀Rust Macros
Software convergence
underlap.org·1d
🔢Denotational Semantics
Semcheck: Spec-Driven Development Using LLMs
labs.rejot.dev·17h·
Discuss: Hacker News
⚡Proof Automation